import java.io.BufferedReader;
import java.io.FileReader;


public class MainClass {

	
	public static void main(String[] args) {
		try {
			char[] source = new char[10000];
			BufferedReader reader = new BufferedReader(new FileReader(".\\src\\Example\\SortedList.java"));
			reader.read(source);
			CFGBuilder builder = new CFGBuilder();
			CFG cfg = builder.build(source,"repOK1");
			CFG enhancedCFG = RepOkEnhancer.enhance(cfg);
			enhancedCFG.writeToFile(".\\src\\Example\\EnhancedSortedListRepOk.java");
		} 
		catch (Exception e) {
			e.printStackTrace();
		} 
	}

}
